- наибольшее бикомпактное расширение вполне регулярного топологич. пространства X. Построено Э. Чехом [1] и М. Стоуном [2]. Пусть - множество всех непрерывных функций Отображение где является гомеоморфизмом на свой образ. Тогда, но определению, (где - операция замыкания). Для любого бикомпактного расширения bХ существует непрерывное отображение тождественное на X, что и выражается эпитетом лнаибольшее
